def foo = (x: @) => ()  // error